Cancellation theorem
نویسنده
چکیده
منابع مشابه
A Cancellation Theorem for BCCSP
This paper presents a cancellation theorem for the preorders in van Glabbeek’s linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the proven cancellation result plays a crucial role in the study of the cover equations, in the sense of Fokkink and Nain, that characterize the studied semantics. The techniques used in the proof of the cancellation theorem ma...
متن کاملOn a small cancellation theorem of Gromov
We give a combinatorial proof of a theorem of Gromov, which extends the scope of small cancellation theory to group presentations arising from
متن کاملWalker's Cancellation Theorem
Walkers cancellation theorem says that if B Z is isomorphic to C Z in the category of abelian groups, then B is isomorphic to C. We construct an example in a diagram category of abelian groups where the theorem fails. As a consequence, the original theorem does not have a constructive proof even if B and C are subgroups of the free abelian group on two generators. Both of these results contras...
متن کاملThe Equational Theory of Paramedial Cancellation Groupoids
By a paramedial groupoid we mean a groupoid satisfying the equation xy · zu = uy · zx. As it is easy to see, the equational theory of paramedial groupoids, as well as the equational theory based on any balanced equation, is decidable. In this paper we are going to investigate the equational theory of paramedial cancellation groupoids; by this we mean the set of all equations satisfied by parame...
متن کاملMiraculous Cancellation and Pick's Theorem
We show that the Cappell–Shaneson version of Pick’s theorem for simple lattice polytopes is a consequence of a general relation between characteristic numbers of virtual submanifolds dual to the characteristic classes of a stably almost complex manifold. This relation is analogous to the miraculous cancellation formula of Alvarez-Gaume and Witten, and is imposed by the action of the Landweber–N...
متن کامل